Partial order and contextual net semantics for atomic and locally atomic CC programs
نویسندگان
چکیده
منابع مشابه
Partial Order and Contextual Net Semantics for Atomic and Locally Atomic CC Programs
interpretation. Current work is devoted to defining an abstract contextual process, which finitely represents the possibly infinite set of possibly infinite concrete structures which can be obtained for a given abstract "query mode." Notice that, while the CC schedule analysis can be performed both on eventual and on atomic CC programs (and the corresponding semantic structures), the analysis n...
متن کاملFrom Eventual to Atomic and Locally Atomic CC Programs: A Concurrent Semantics
Abs t r ac t . We present a concurrent semantics (i.e. a semantics where concurrency is explicitely represented) for CC programs with atomic tells. This allows to derive concurrency, dependency, and nondeterminism information for such languages. The ability to treat failure information puts CLP programs also in the range of applicability of our semantics: although such programs are not concurre...
متن کاملFrom Eventual to Atomic Locally Atomic CC Programs: A Concurrent Semantics
We present a concurrent semantics (i.e. a semantics where concurrency is explicitely represented) for CC programs with atomic tells. This allows to derive concurrency, dependency, and nondeterminism information for such languages. The ability to treat failure information puts CLP programs also in the range of applicability of our semantics: although such programs are not concurrent, the concurr...
متن کاملPartial Order and Contextual Net
We present two concurrent semantics (i.e. semantics where concurrency is ex-plicitely represented) for CC programs with atomic tells. One is based on simple partial orders of computation steps, while the other one is based on contextual nets and it is an extension of a previous one for eventual CC programs. Both such semantics allow us to derive concurrency, dependency, and nondeterminism infor...
متن کاملAtomic Semantics of Nonatomic Programs
We argue that it is possible, and sometimes useful, to reason about nonatomic programs within the conventional atomic model of concurrency.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 1998
ISSN: 0167-6423
DOI: 10.1016/s0167-6423(97)00007-5